go/types.Checker.subst (method)
15 uses
go/types (current package)
call.go#L404: sigParams = check.subst(call.Pos(), sigParams, makeSubstMap(sig.TypeParams().list(), targs), nil).(*Tuple)
infer.go#L113: tparams2[i].bound = check.subst(posn.Pos(), tparam.bound, renameMap, nil)
infer.go#L117: params = check.subst(posn.Pos(), params, renameMap, nil).(*Tuple)
infer.go#L191: params = check.subst(token.NoPos, params, smap, nil).(*Tuple)
infer.go#L228: inferred := check.subst(arg.Pos(), tpar, smap, nil)
infer.go#L629: if t1 := check.subst(token.NoPos, t0, smap, nil); t1 != t0 {
instantiate.go#L95: sig := check.subst(pos, orig, makeSubstMap(tparams.list(), targs), ctxt).(*Signature)
instantiate.go#L145: bound := check.subst(pos, tpar.bound, smap, nil)
named.go#L178: sig = check.subst(origm.pos, origSig, smap, ctxt).(*Signature)
named.go#L379: underlying = n.check.subst(instPos, n.orig.underlying, smap, ctxt)
predicates.go#L287: ybound := check.subst(token.NoPos, ytparams[i].bound, smap, nil)
predicates.go#L293: yparams = check.subst(token.NoPos, y.params, smap, nil).(*Tuple)
predicates.go#L294: yresults = check.subst(token.NoPos, y.results, smap, nil).(*Tuple)
signature.go#L153: tpar.bound = check.subst(tpar.obj.pos, recvTPar.bound, smap, nil)
subst.go#L52: func (check *Checker) subst(pos token.Pos, typ Type, smap substMap, ctxt *Context) Type {